TOWARDS A SHARED NARRATIVE OF PLAYFULNESS IN ONLINE CLASSES

As teaching moves to be wholly online, problem based learning exercises can lose their sense of community. In an in-person computational thinking class, you might expect to see a room full of students gathered around robots or another interactive environment, working together to solve a problem while teachers and mentors mingle among them. When teaching moves online and becomes asynchronous, as well as losing the tangibility of physical interaction, some of the communal glue for these activities can be lost. This is the challenge we face creating a fully online diploma-level computational thinking unit, that (as well as introducing programming, modelling, sensors and data) attempts to produce the ambiance of a “grown-up” version of computational thinking exercises some modern school children receive. In an attempt to address this, we have been creating playful environments that can be made more pervasive throughout the unit – so that they are live and interactive not just in problem-based exercises but also inside programmable lecture slides. By increasing the pervasiveness of the playful environments, our intent is to reinforce their role as part of the shared experience and shared narrative of the unit, even though the tasks are more often taken individually

Student proof exercises using MathsTiles and isabelle/HOL in an intelligent book

The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a reactive learning environment. In this paper, we investigate using an automated proof assistant, particularly Isabelle/HOL, as the model supporting first year undergraduate exercises in which students write proofs in number theory. Automated proof assistants are generally considered to be difficult for novices to learn. We examine whether, by providing a very specialized interface, it is possible to build something that is usable enough to be of educational value. To ensure students cannot "game the system" the exercise avoids tactic-choosing interaction styles but asks the student to write out the proof. Proofs are written using MathsTiles: composable tiles that resemble written mathematics. Unlike traditional syntax-directed editors, MathsTiles allows students to keep many answer fragments on the canvas at the same time and does not constrain the order in which an answer is written. Also, the tile syntax does not need to match the underlying Isar syntax exactly, and different tiles can be used for different questions. The exercises take place within the context of an Intelligent Book. We performed a user study and qualitative analysis of the system. Some users were able to complete proofs with much less training than is usual for the automated proof assistant itself, but there remain significant usability issues to overcome

Minibix: Item banking with web services

The Minibix system was developed from an existing prototype item bank system in use for high-stakes testing at the University of Cambridge. The system has been developed over the last year with support from the JISC e- Learning Programme. This project has redeveloped the system based on version 2 of the IMS Question and Test Interoperability (QTI) specification and is publishing the resulting system under an open source license. In this paper, we propose a simple service model for describing the authoring, banking, test construction and delivery of assessment content. The item banking model is implemented by the Minibix system and will be demonstrated in conjunction with authoring, test construction and delivery systems developed by the sister projects: AQuRate (Kingston University) and AsDel (University of Southampton). These services, as part of a wider e-Framework, could enable tool integration on a scale suitable for interacting with large-scale item banks. Private banks are already used routinely in high-stakes summative assessment but open repositories of items for formative use are now becoming available. For example, the E3AN item bank for Electrical and Electronic Engineering or the item bank for the Physical Sciences recently announced by the HEA

Attributes of Personal Electronic Records

The purpose of this article is to identify the key attributes of personal electronic records in order to develop systems that may enable people to manage them in the home. As more personal information becomes electronic, this is increasingly necessary. Personal electronic records were identified and categorised using interviews and virtual guided tours. Three main attributes were identified: primary user-subjective categories; attributes which identify the circumstances that give rise to the records; and attributes which describe the legal validity of each record. In addition to providing an improved understanding of personal electronic records in the home, these attributes are developed into a set of potential metadata fields

Effect of heparin and heparan sulphate on open promoter complex formation for a simple tandem gene model using ex situ atomic force microscopy

The influence of heparin and heparan sulphate (HepS) on the appearance and analysis of open promoter complex (RPo) formation by E. coli RNA polymerase (RNAP) holoenzyme (σ70RNAP) on linear DNA using ex situ imaging by atomic force microscopy (AFM) has been investigated. Introducing heparin or HepS into the reaction mix significantly reduces non-specific interactions of the σ70RNAP and RNAP after RPo formation allowing for better interpretation of complexes shown within AFM images, particularly on DNA templates containing more than one promoter. Previous expectation was that negatively charged polysaccharides, often used as competitive inhibitors of σRNAP binding and RPo formation, would also inhibit binding of the DNA template to the mica support surface and thereby lower the imaging yield of active RNAP-DNA complexes. We found that the reverse of this was true, and that the yield of RPo formation detected by AFM, for a simple tandem gene model containing two λPR promoters, increased. Moreover and unexpectedly, HepS was more efficient than heparin, with both of them having a dispersive effect on the sample, minimising unwanted RNAP-RNAP interactions as well as non-specific interactions between the RNAP and DNA template. The success of this method relied on the observation that E. coli RNAP has the highest affinity for the mica surface of all the molecular components. For our system, the affinity of the three constituent biopolymers to muscovite mica was RNAP > Heparin or HepS > DNA. While we observed that heparin and HepS can inhibit DNA binding to the mica, the presence of E. coli RNAP overcomes this effect allowing a greater yield of RPos for AFM analysis. This method can be extended to other DNA binding proteins and enzymes, which have an affinity to mica higher than DNA, to improve sample preparation for AFM studies

Ionizable lipid nanoparticles for in utero mRNA delivery.

Clinical advances enable the prenatal diagnosis of genetic diseases that are candidates for gene and enzyme therapies such as messenger RNA (mRNA)-mediated protein replacement. Prenatal mRNA therapies can treat disease before the onset of irreversible pathology with high therapeutic efficacy and safety due to the small fetal size, immature immune system, and abundance of progenitor cells. However, the development of nonviral platforms for prenatal delivery is nascent. We developed a library of ionizable lipid nanoparticles (LNPs) for in utero mRNA delivery to mouse fetuses. We screened LNPs for luciferase mRNA delivery and identified formulations that accumulate within fetal livers, lungs, and intestines with higher efficiency and safety compared to benchmark delivery systems, DLin-MC3-DMA and jetPEI. We demonstrate that LNPs can deliver mRNAs to induce hepatic production of therapeutic secreted proteins. These LNPs may provide a platform for in utero mRNA delivery for protein replacement and gene editing

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Induction of neural crest stem cells from Bardet–Biedl syndrome patient derived hiPSCs

Neural crest cells arise in the embryo from the neural plate border and migrate throughout the body, giving rise to many different tissue types such as bones and cartilage of the face, smooth muscles, neurons, and melanocytes. While studied extensively in animal models, neural crest development and disease have been poorly described in humans due to the challenges in accessing embryonic tissues. In recent years, patient-derived human induced pluripotent stem cells (hiPSCs) have become easier to generate, and several streamlined protocols have enabled robust differentiation of hiPSCs to the neural crest lineage. Thus, a unique opportunity is offered for modeling neurocristopathies using patient specific stem cell lines. In this work, we make use of hiPSCs derived from patients affected by the Bardet–Biedl Syndrome (BBS) ciliopathy. BBS patients often exhibit subclinical craniofacial dysmorphisms that are likely to be associated with the neural crest-derived facial skeleton. We focus on hiPSCs carrying variants in the BBS10 gene, which encodes a protein forming part of a chaperonin-like complex associated with the cilium. Here, we establish a pipeline for profiling hiPSCs during differentiation toward the neural crest stem cell fate. This can be used to characterize the differentiation properties of the neural crest-like cells. Two different BBS10 mutant lines showed a reduction in expression of the characteristic neural crest gene expression profile. Further analysis of both BBS10 mutant lines highlighted the inability of these mutant lines to differentiate toward a neural crest fate, which was also characterized by a decreased WNT and BMP response. Altogether, our study suggests a requirement for wild-type BBS10 in human neural crest development. In the long term, approaches such as the one we describe will allow direct comparison of disease-specific cell lines. This will provide valuable insights into the relationships between genetic background and heterogeneity in cellular models. The possibility of integrating laboratory data with clinical phenotypes will move us toward precision medicine approaches

Revised Lithostratigraphy of the Sonsela Member (Chinle Formation, Upper Triassic) in the Southern Part of Petrified Forest National Park, Arizona

BACKGROUND: Recent revisions to the Sonsela Member of the Chinle Formation in Petrified Forest National Park have presented a three-part lithostratigraphic model based on unconventional correlations of sandstone beds. As a vertebrate faunal transition is recorded within this stratigraphic interval, these correlations, and the purported existence of a depositional hiatus (the Tr-4 unconformity) at about the same level, must be carefully re-examined. METHODOLOGY/PRINCIPAL FINDINGS: Our investigations demonstrate the neglected necessity of walking out contacts and mapping when constructing lithostratigraphic models, and providing UTM coordinates and labeled photographs for all measured sections. We correct correlation errors within the Sonsela Member, demonstrate that there are multiple Flattops One sandstones, all of which are higher than the traditional Sonsela sandstone bed, that the Sonsela sandstone bed and Rainbow Forest Bed are equivalent, that the Rainbow Forest Bed is higher than the sandstones at the base of Blue Mesa and Agate Mesa, that strata formerly assigned to the Jim Camp Wash beds occur at two stratigraphic levels, and that there are multiple persistent silcrete horizons within the Sonsela Member. CONCLUSIONS/SIGNIFICANCE: We present a revised five-part model for the Sonsela Member. The units from lowest to highest are: the Camp Butte beds, Lot's Wife beds, Jasper Forest bed (the Sonsela sandstone)/Rainbow Forest Bed, Jim Camp Wash beds, and Martha's Butte beds (including the Flattops One sandstones). Although there are numerous degradational/aggradational cycles within the Chinle Formation, a single unconformable horizon within or at the base of the Sonsela Member that can be traced across the entire western United States (the "Tr-4 unconformity") probably does not exist. The shift from relatively humid and poorly-drained to arid and well-drained climatic conditions began during deposition of the Sonsela Member (low in the Jim Camp Wash beds), well after the Carnian-Norian transition

The cusp plasma imaging detector (CuPID) cubesat observatory: instrumentation

The Cusp Plasma Imaging Detector (CuPID) CubeSat observatory is a 6U CubeSat designed to observe solar wind charge exchange in magnetospheric cusps to test competing theories of magnetic reconnection at the Earth's magnetopause. The CuPID is equipped with three instruments, namely, a wide field-of-view (4.6° × 4.6°) soft x-ray telescope, a micro-dosimeter suite, and an engineering magnetometer optimized for the science operation. The instrument suite has been tested and calibrated in relevant environments, demonstrating successful design. The testing and calibration of these instruments produced metrics and coefficients that will be used to create the CuPID mission's data product.NNX16AJ73G - NASAPublished versio